Quantitative Reliability Assessment for Safety Critical System Software

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Using data flow analysis for the reliability assessment of safety-critical software systems

Reliability analysis for safety-critical software systems often needs additional expert knowledge, because of the small data-sets available. A Bayesian approach is used to develop a reliability model based on expert knowledge and small data-sets. The expert knowledge is obtained with data flow analysis. Certain variables in the program code are examined to calculate their probability of causing...

متن کامل

Design Tool Assessment for Safety-Critical Software Development

The paper presents taxonomy of criteria and procedures for evaluating software development tools used in safety-critical real-time systems. The ultimate purpose of the research is to provide a base for creation of guidelines for the tool certification process. The specific application area is airborne software and appropriate references are made to the accepted RTCA DO-178B guidelines. The soft...

متن کامل

Bayesian reliability assessment of legacy safety-critical systems upgraded with fault-tolerant off-the-shelf software

This paper presents a new way of applying Bayesian assessment to systems, which consist of many components. Full Bayesian inference with such systems is problematic, because it is computationally hard and, far more seriously, one needs to specify a multivariate prior distribution with many counterintuitive dependencies between the probabilities of component failures. The approach taken here is ...

متن کامل

Testing the Reliability of Component-Based Safety Critical Software

Testing remains a fundamentally important way to check that a software program behaves as required, but a weakness of testing is that successful testing only leads to informal quality statements. Even where quantitative methods are employed, it is not clear how the objective statements (e.g. 100% code coverage has been achieved) relate to the statements that are really useful such as “the softw...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Electrical Engineering and Technology

سال: 2007

ISSN: 1975-0102

DOI: 10.5370/jeet.2007.2.3.386